Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Dominique Larchey-Wendling »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Dominique Larchey < Dominique Larchey-Wendling < Dominique Laurent  Facettes :

List of bibliographic references indexed by Dominique Larchey-Wendling

Number of relevant bibliographic references: 53.
[0-20] [0 - 20][0 - 50][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
000105 (2016) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000966 (2014-09-01) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Looking at Separation Algebras with Boolean BI-eyes
000B16 (2014-06-07) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000B18 (2014-06-02) Dominique Larchey-Wendling [France]The formal strong completeness of partial monoidal Boolean BI
001321 (2013-02) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Nondeterministic Phase Semantics and the Undecidability of Boolean BI
001790 (2013) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]22nd Int. Conference on Automated Reasoning with Analytic Tableaux and Related Methods
001C24 (2012-03) Jack Copeland [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France]Alan Turing
001F14 (2012) Jack Copeland ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France]Special issue of Philosophia Scientiae - Alan Turing
002369 (2011-05-12) Dominique Larchey-Wendling [France]Phase Semantics and the Undecidability of Boolean BI
002B80 (2010-07-11) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]The Undecidability of Boolean BI through Phase Semantics
002C90 (2010-05-25) Dominique Larchey-Wendling [France]An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
003222 (2010) Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Joseph Vidal-Rosset [France]Some Remarks on Relations between Proofs and Games
003479 (2009-07-16) Dominique Larchey-Wendling [France]Labelled Tableaux for Proofs and Models in BI logics
003570 (2009-06-01) Dominique Larchey-Wendling [France] ; Didier Galmiche [France]Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding
003E36 (2008-09-22) Dominique Larchey-Wendling [France]Kripke Models of Boolean BI and Invertible Resources
004804 (2007-07-16) Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Yakoub Salhi [France]Provability and Countermodels in Gödel-Dummett Logics
004929 (2007-05-21) Dominique Larchey-Wendling [France]Relational semantics and finite models of separation logics
005475 (2006) Dominique Larchey-Wendling [France]Graph-based Decision for Gödel-Dummett Logics
005483 (2006) Didier Galmiche [France] ; Dominique Larchey-Wendling [France]Expressivity Properties of Boolean BI Through Relational Models
005C40 (2005) Dominique Larchey-Wendling [France]Gödel-Dummett counter-models through matrix computation
006016